Качество:

Это програмное обеспечение занимает 4086-е место в глобальном рейтинге програмного обеспечения. Статья «Vampire (theorem prover)» в английской Википедии имеет 13.2 баллов за качество (по состоянию на 1 июля 2025 года). Статья содержит, среди прочих показателей, 5 примечаний и 3 разделов. Статья также содержит шаблоны, указывающие на проблемы качества, поэтому её оценка была снижена на 2,34 баллов.
Достижения за всё время:
Глобальная Википедия:
С момента создания статьи «Vampire (theorem prover)» ее содержимое было создано 31 зарегистрированными пользователями английской Википедии и редактировано 31 зарегистрированными пользователями Википедии во всех языковых версиях.
Статья «Vampire (theorem prover)» находится на
4086-м месте в глобальном рейтинге програмного обеспечения в Википедии за всё время.
Эта статья цитируется 16 раз в английской Википедии и цитируется 16 раз во всех языках.
Наивысший рейтинг по интересам авторов с 2001 года:
- Локальный (Английский): №61293 в июне 2004 года
- Глобальный: №113971 в июне 2004 года
Самый высокий рейтинг популярности с 2008 года:
- Локальный (Английский): №354529 в январе 2009 года
- Глобальный: №560061 в июле 2008 года
Для данной статьи найдена 1 языковая версия в базе ВикиРанк (из рассматриваемых 55 языковых версий Википедии).
Данные по состоянию на 1 июля 2025 года.